операционная семантика

операционная семантика

 

операционная семантика

[http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

  • электросвязь, основные понятия

EN

  • operational semantics


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "операционная семантика" в других словарях:

  • Семантика вычислений — Семантика вычислений  это определение процесса вычисления в виде последовательности правил перезаписи, которое вместе с представлением о сходимости впервые были использованы в контексте исчисления. Сходимость важна также в системах… …   Википедия

  • Семантика (программирование) — Для термина «Семантика» см. другие значения. Семантика в программировании  дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов… …   Википедия

  • Операционная среда — совокупность компьютерных программ, обеспечивающая оператору возможность управлять вычислительными процессами и файлами. Стандартом на операционные системы (ОС) определены синтаксис и семантика языка оболочки и утилит, составляющих операционную… …   Википедия

  • Семантика функции — Интерфейс прикладного программирования (англ. Application Programming Interface, API [эй пи ай]; по русски чаще произносят [апи]) набор готовых констант, структур и функций, используемых при программировании пользовательских приложений и… …   Википедия

  • Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… …   Википедия

  • Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

  • ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

  • ДЕДУКТИВНАЯ ЛОГИКА —     ДЕДУКТИВНАЯ ЛОГИКА раздел логики, в котором изучаются способы рассуждения, гарантирующие истинность заключения при истинности посылок. Дедуктивная логика иногда отождествляется с формальной логикой. Вне пределов дедуктивной логики находятся т …   Философская энциклопедия

  • TTCN-3 — Содержание 1 Приложения 2 Архитектура 3 Терминология …   Википедия

  • ISWIM — Класс языка: строгая, функциональная Появился в: 1966 Типизация данных: динамическая Повлиял на: SASL, ML ISWIM  абстрактный язык программирования (или семейство языков программ …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»